Type constructor

Results: 154



#Item
61Java Precisely Version 1.05 of[removed]Peter Sestoft Copyright c 2000

Java Precisely Version 1.05 of[removed]Peter Sestoft Copyright c 2000

Add to Reading List

Source URL: www.digilife.be

Language: English - Date: 2003-02-16 08:28:12
62Under consideration for publication in Theory and Practice of Logic Programming  1 Typed Answer Set Programming Lambda Calculus Theories and Correctness of Inverse

Under consideration for publication in Theory and Practice of Logic Programming 1 Typed Answer Set Programming Lambda Calculus Theories and Correctness of Inverse

Add to Reading List

Source URL: www.public.asu.edu

Language: English - Date: 2013-04-01 13:35:06
63Deducing the type of variable from its initializer expression (revision 2) Programming Language C++ Document no: N1794=[removed]Jaakko Järvi Texas A&M University

Deducing the type of variable from its initializer expression (revision 2) Programming Language C++ Document no: N1794=[removed]Jaakko Järvi Texas A&M University

Add to Reading List

Source URL: www.open-std.org

Language: English - Date: 2005-04-30 07:56:32
64[Faculty of Science Information and Computing Sciences] GHC 7.6, More Well-Typed Than Ever Jos´e Pedro Magalh˜aes http://www.dreixel.net

[Faculty of Science Information and Computing Sciences] GHC 7.6, More Well-Typed Than Ever Jos´e Pedro Magalh˜aes http://www.dreixel.net

Add to Reading List

Source URL: dreixel.net

Language: English - Date: 2014-11-04 15:52:18
65Attribute / Vector / Euclidean vector / Statistic / Constructor / Algebra / Role-playing game terminology / Mathematics

D2.8.III.1 Data Specification on Statistical Units – Draft Guidelines[removed]Core Package: Feature catalogue (str. 32) Table 4 - Types defined in the feature catalogue Type Package Stereotypes Section StatisticalUnit Co

Add to Reading List

Source URL: inspire.gov.cz

Language: English - Date: 2011-09-05 09:15:49
66Stateful Traits Alexandre Bergel1 , St´ephane Ducasse2 , Oscar Nierstrasz3 , Roel Wuyts4 1 DSG, Trinity College Dublin, Ireland, Language and Software Evolution – LISTIC, Universit´e de Savoie,

Stateful Traits Alexandre Bergel1 , St´ephane Ducasse2 , Oscar Nierstrasz3 , Roel Wuyts4 1 DSG, Trinity College Dublin, Ireland, Language and Software Evolution – LISTIC, Universit´e de Savoie,

Add to Reading List

Source URL: rmod.lille.inria.fr

Language: English - Date: 2011-07-25 08:41:35
67Lexical Casting in C++ [removed] August 14, 2005  Abstract

Lexical Casting in C++ [removed] August 14, 2005 Abstract

Add to Reading List

Source URL: wanderinghorse.net

Language: English - Date: 2009-07-27 17:58:38
68Flattening Traits Oscar Nierstrasz, St´ephane Ducasse and Nathanael Sch¨arli Institut f¨ ur Informatik und Angewandte Mathematik University of Bern, Switzerland

Flattening Traits Oscar Nierstrasz, St´ephane Ducasse and Nathanael Sch¨arli Institut f¨ ur Informatik und Angewandte Mathematik University of Bern, Switzerland

Add to Reading List

Source URL: scg.unibe.ch

Language: English - Date: 2005-09-23 14:37:30
69Lexical Casting in C++ [removed] August 14, 2005  Abstract

Lexical Casting in C++ [removed] August 14, 2005 Abstract

Add to Reading List

Source URL: s11n.net

Language: English - Date: 2007-02-18 10:01:53
70Traits: The Formal Model? Nathanael Sch¨ arli, Oscar Nierstrasz, St´ephane Ducasse, Roel Wuyts, and Andrew Black Software Composition Group, University of Bern, Switzerland OGI School of Science & Engineering, Oregon H

Traits: The Formal Model? Nathanael Sch¨ arli, Oscar Nierstrasz, St´ephane Ducasse, Roel Wuyts, and Andrew Black Software Composition Group, University of Bern, Switzerland OGI School of Science & Engineering, Oregon H

Add to Reading List

Source URL: scg.unibe.ch

Language: English - Date: 2004-04-20 07:26:58